EXTRA_DIST= building.html \
	codecs.html \
	index.html \
	opening.html \
	positioning.html \
	reading.html \
	util.html \
	writing.html
